A Regular Completion for the Variety Generated by the Three-element Heyting Algebra
نویسندگان
چکیده
We show that the variety generated by the three-element Heyting algebra admits a meet dense, regular completion even though it is not closed under MacNeille completions.
منابع مشابه
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملMacneille Completions of Heyting Algebras
In this note we provide a topological description of the MacNeille completion of a Heyting algebra similar to the description of the MacNeille completion of a Boolean algebra in terms of regular open sets of its Stone space. We also show that the only varieties of Heyting algebras that are closed under MacNeille completions are the trivial variety, the variety of all Boolean algebras, and the v...
متن کاملLocally finite varieties of Heyting algebras
We show that for a variety V of Heyting algebras the following conditions are equivalent: (1) V is locally finite; (2) the V-coproduct of any two finite V-algebras is finite; (3) either V coincides with the variety of Boolean algebras or finite V-copowers of the three element chain 3 ∈ V are finite. We also show that a variety V of Heyting algebras is generated by its finite members if, and onl...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended ∨-De Morgan law introduced in [20]. Then, using this result and the results of [20], we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) in the variety o...
متن کامل